This patch dramatically increases the efficiency of juvix dev root, which was unnecessarily parsing all dependencies included in the Package.juvix file. Other commands that do not require the Package will also be faster.

It also refactors some functions so that the TaggedLock effect is run globally.

I've added singletons-base as a dependency so we can have ++ on the type level. We've tried to define a type family ourselves but inference was not working properly.